Celem artykułu jest porównanie koncepcji poznania Ernsta Cassirera i Nelsona Goodmana, których łączy odrzucenie idei poznania jako odbicia rzeczywistości i przyjęcie koncepcji przekształcania. Owo przekształcanie nie jest całkowitym przeciwieństwem odbicia, lecz jego poszerzeniem w taki sposób, że poznanie oznacza zarówno twórcze wytwarzanie, jak i odtwórcze odbicie. Tym samym zniesiona zostaje tradycyjna epistemologiczna dychotomia: konstruowanie – odkrywanie. Wspólną dla obu filozofów przesłankę stanowi odrzucenie prymatu faktów i danych zmysłowych, a konsekwencją poszerzonej koncepcji poznania jest zaś dla nich irrealistyczna koncepcja reprezentacji symbolicznej. (...) W artykule omówiono najważniejsze podobieństwa i różnice w poglądach tych dwóch myślicieli. (shrink)

We defend the thesis that every necessarily true proposition is always true. Since not every proposition that is always true is necessarily true, our thesis is at odds with theories of modality and time, such as those of Kit Fine and David Kaplan, which posit a fundamental symmetry between modal and tense operators. According to such theories, just as it is a contingent matter what is true at a given time, it is likewise a temporary matter what is true at (...) a given possible world; so a proposition that is now true at all worlds, and thus necessarily true, may yet at some past or future time be false in the actual world, and thus not always true. We reconstruct and criticize several lines of argument in favor of this picture, and then argue against the picture on the grounds that it is inconsistent with certain sorts of contingency in the structure of time. (shrink)

Philosophy and Phenomenological Research, EarlyView.

We present and discuss a counterexample to the following plausible principle: if you know that a coin is fair, and for all you know it is going to be flipped, then for all you know it will land tails.

We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and never born. Since our unreflective talk of merely possible people serves to draw non-trivial distinctions, these metaphysicians owe us some paraphrase by which we can draw those distinctions without committing ourselves to there being merely possible people. We show that such paraphrases (...) are unavailable if we limit ourselves to the expressive resources of even highly infinitary first-order modal languages. We then argue that such paraphrases are available in higher-order modal languages only given certain strong assumptions concerning the metaphysics of properties. We then consider alternative paraphrase strategies, and argue that none of them are tenable. If talk of merely possible people cannot be paraphrased, then it must be taken at face value, in which case it is necessary what individuals there are. Therefore, if it is contingent what individuals there are, then the demands of paraphrase place tight constraints on the metaphysics of properties: either (i) it is necessary what properties there are, or (ii) necessarily equivalent properties are identical, and having properties does not entail even possibly being anything at all. (shrink)

This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be developed, synthesizing and expanding on work by Kit Fine, Robert Stalnaker, and Timothy Williamson. Special attention is paid to the question of whether the view makes sense by its own lights, or whether articulating the view requires drawing distinctions among possibilities that, according to (...) the view itself, do not exist to be drawn. The paper begins with a non-technical exposition of the main ideas and technical results, which can be read on its own. This exposition is followed by a formal investigation of higher-order contingentism, in which the tools of variable-domain intensional model theory are used to articulate various versions of the view, understood as theories formulated in a higher-order modal language. Our overall assessment is mixed: higher-order contingentism can be fleshed out into an elegant systematic theory, but perhaps only at the cost of abandoning some of its original motivations. (shrink)

How might discourse generate political change? So far, democratic theorists have focused largely on how deliberative exchanges might shift political opinion. Responding to empirical research that casts doubt on the generalizability of deliberative mechanisms outside of carefully designed forums, this essay seeks to broaden the scope of discourse theory by considering speech that addresses participants’ identities instead. More specifically, we ask what may be learned about identity-oriented discourse by examining the practice of religious preaching. As we demonstrate, scholars of homiletics—the (...) study of preaching—have identified three core features that support its focus on identity: its unconditionality, its appeal to authoritative texts and traditions, and its diffuse instrumentality. We then ask what each of these features might look like in more straightforwardly political contexts. Finally, we address several normative questions raised by this practice, as a way of exploring the promises and dangers accompanying identity-oriented discourse more generally. (shrink)

We offer a general framework for theorizing about the structure of knowledge and belief in terms of the comparative normality of situations compatible with one’s evidence. The guiding idea is that, if a possibility is sufficiently less normal than one’s actual situation, then one can know that that possibility does not obtain. This explains how people can have inductive knowledge that goes beyond what is strictly entailed by their evidence. We motivate the framework by showing how it illuminates knowledge about (...) the future, knowledge of lawful regularities, knowledge about parameters measured using imperfect instruments, the connection between knowledge, belief, and probability, and the dynamics of knowledge and belief in response to new evidence. (shrink)

How is what we believe related to how we act? That depends on what we mean by ‘believe’. On the one hand, there is what we're sure of: what our names are, where we were born, whether we are sitting in front of a screen. Surety, in this sense, is not uncommon — it does not imply Cartesian absolute certainty, from which no possible course of experience could dislodge us. But there are many things that we think that we are (...) not sure of. For example, you might think that it will rain sometime this month, but not be sure that it will. Both what we're sure of and what we think have important normative connections to action. But the connections are quite different. This paper explores these issues with respect to assertion, inquiry, and decision making. We conclude by arguing that there is no theoretically significant notion of ‘full belief’ intermediate in strength between thinking and being sure. (shrink)

Consider the sentence “Lois knows that Superman flies, but she doesn’t know that Clark flies”. In this paper we defend a Millian contextualist semantics for propositional attitude ascriptions, according to which ordinary uses of this sentence are true but involve a mid-sentence shift in context. Absent any constraints on the relevant parameters of context sensitivity, such a semantics would be untenable: it would undermine the good standing of systematic theorizing about the propositional attitudes, trivializing many of the central questions of (...) epistemology, the philosophy of mind, and the philosophy of action. In response to this problem, we prove a series of tenability results. We show that, given certain constraints on the parameters of context sensitivity, there is a broad class of principles of propositional attitude psychology whose good standing follows from corresponding claims about people’s mental representations. But these constraints also have some surprising consequences: they are jointly incompatible with coarse-grained theories of propositions, and they are in tension with a natural picture of how speakers and hearers coordinate on the interpretation of attitude ascriptions. In light of these consequences we explore different ways in which the contextualist picture might be developed, and argue that our preferred way compares favorably with Fregeanism and neo-Russellianism. (shrink)

We offer an interpretation of the mental files framework that eliminates the metaphor of files, information being contained in files, etc. The guiding question is whether, once we move beyond the metaphors, there is any theoretical role for files. We claim not. We replace the file-metaphor with two theses: the semantic thesis that there are irreducibly relational representational facts (viz. facts about the coordination of representations); and the metasemantic thesis that processes tied to information-relations ground those facts. In its canonical (...) statement, the ‘file’-theory makes reference to a certain kind of relational representational feature, and a certain kind of mental activity. Mental files need not come into it. In short, we posit mental filing without mental files. Our interpretation avoids awkward problems that arise on the standard interpretation and clarifies the explanatory commitments of the theory. (shrink)

Things and Their Place in Theories Our talk of external things, our very notion of things, is just a conceptual apparatus that helps us to foresee and ...

This chapter offers an opinionated introduction to higher-order formal languages with an eye towards their applications in metaphysics. A simply relationally typed higher-order language is introduced in four stages: starting with first-order logic, adding first-order predicate abstraction, generalizing to higher-order predicate abstraction, and finally adding higher-order quantification. It is argued that both β-conversion and Universal Instantiation are valid on the intended interpretation of this language. Given these two principles, it is then shown how we can use pure higher-order logic to (...) ask, and begin to answer, metaphysical questions with non-trivial implications. In particular, while we must reject the popular idea that structural differences between sentences correspond to parallel distinctions in the logical structure of extra-linguistic reality, it may still be possible to give a purely logical characterization of objectual aboutness and related notions. (shrink)

In an essay on performance-enhancing drugs, author Chuck Klosterman (2007) argues that the category of enhancers extends from hallucinogens used to inspire music to steroids used to strengthen athletes—and he criticizes those who would excuse one means of enhancement while railing against the other as a form of cheating: After the summer of 1964, the Beatles started taking serious drugs, and those drugs altered their musical performance. Though it may not have been their overt intent, the Beatles took performance-enhancing drugs. (...) And . . . absolutely no one holds it against them. No one views “Rubber Soul” and “Revolver” as “less authentic” albums, despite the fact that they would not (and probably could .. (shrink)

We show that, contrary to conventional wisdom, Frege’s distinction between sense and reference does not reconcile a classical logic of identity with apparent counterexamples to it involving proper names embedded under propositional attitude verbs.

It has become popular of late to identify the phenomenon of thinking a singular thought with that of thinking with a mental file. Proponents of the mental files conception of singular thought claim that one thinks a singular thought about an object o iff one employs a mental file to think about o. I argue that this is false by arguing that there are what I call descriptive mental files, so some file-based thought is not singular thought. Descriptive mental files (...) are mental files for which descriptive information plays four roles: determines which object the file is about, if any, it sets limits on possible mistakes that fall within the scope of successful reference for the file, it acts as a ‘gatekeeper’ for the file, and it determines persistence conditions for the file. Contrary to popular assumption, a description playing these roles is consistent with the file-theoretic framework. Recognising this allows us to distinguish the notion of singular thought from that of file-thinking and better understand the nature and role of both. (shrink)

This paper is about the relevance of attitude-ascriptions to debates about singular thought. It examines a methodology (common to early acquaintance theorists [Kaplan 1968] and recent critics of acquaintance [Hawthorne and Manley 2012], which assumes that the behaviour of ascriptions can be used to draw conclusions about singular thought. Although many theorists (e.g. [Recanati 2012]) reject this methodology, the literature lacks a detailed examination of its implications and the challenges faced by proponents and critics. I isolate an assumption of the (...) methodology, which I call the tracking assumption: that an attitude-ascription which states that s Φ's that P is true iff s has an attitude, of Φ-ing, which is an entertaining of the content P (with entertain used in a stipulated sense). I argue that the tracking assumption must be rejected, not because it has deflationary consequences, but because it leads to unstable commitments. I also show that there are independent reasons to reject it, because ordinary attitude ascriptions underdetermine even the truth-conditions of the mental-states they ascribe. However, I argue, this does not involve rejecting the claim that attitude-ascriptions express relations between agents and contents. Instead, they state different relations depending on contextual factors other than the nature of the mental-states ascribed. (shrink)

Darwinism presents a paradox. It discredits the notion that one’s life has any intrinsic meaning, yet it predicts that we are designed by Darwinian natural selection to generally insist that it must—and so necessarily designed to misunderstand and doubt Darwinism. The implications of this paradox are explored here, including the question of where then does the Darwinist find meaning in life? The main source, it is proposed, is from cognitive domains for meaning inherited from sentient ancestors—domains that reveal our evolved (...) human nature as the fool that it is: given to distractions and delusions of many kinds, designed by natural selection primarily for one essential purpose—to allay our instinctual fear of failed legacy, rooted in our uniquely human awareness that we are not immortal. Darwinism, however, also teaches that genuine legacy is a fate enjoyed only by individual genes. Accordingly, as argued here, those genes with the grandest legacy—and hence rampant within us—are of two types: “legacy-drive” genes delude us into thinking that the legacy can be individually and personally ours; and “leisure-drive” genes distract us from the agonizing truth that it can never be. The most rudimental delusion of legacy is the perception of offspring as vehicles for memetic legacy—the transmission of resident memes from one’s mind to the minds and behaviors of offspring— thus also ensuring genetic legacy: the transmission of resident genes, including importantly, genes inherited from ancestors that influence both legacy and leisure drives. Today, legacyand leisure-drive genes reveal their phenotypes across a wide range of human affairs, and together with the phenotypes of survival- and sex-drive genes, they provide a foundation for a novel view of the Darwinian roots of cultural evolution. (shrink)

This paper has a narrow and a broader target. The narrow target is a particular version of what I call the mental-files conception of singular thought, proposed by Robin Jeshion, and known as cognitivism. The broader target is the MFC in general. I give an argument against Jeshion's view, which gives us preliminary reason to reject the MFC more broadly. I argue Jeshion's theory of singular thought should be rejected because the central connection she makes between significance and singularity does (...) not hold. However, my argument grants Jeshion's claim that there is a connection between significance and file-thinking. The upshot is not only that we have reason to reject Jeshion's significance constraint on singular thought, but that we have reason to question the connection made by MFC proponents between file-thinking and singularity. (shrink)

Darwinism presents a paradox. It discredits the notion that one’s life has any intrinsic meaning, yet it predicts that we are designed by Darwinian natural selection to generally insist that it must—and so necessarily designed to misunderstand and doubt Darwinism. The implications of this paradox are explored here, including the question of where then does the Darwinist find meaning in life? The main source, it is proposed, is from cognitive domains for meaning inherited from sentient ancestors—domains that reveal our evolved (...) human nature as the fool that it is: given to distractions and delusions of many kinds, designed by natural selection primarily for one essential purpose—to allay our instinctual fear of failed legacy, rooted in our uniquely human awareness that we are not immortal. Darwinism, however, also teaches that genuine legacy is a fate enjoyed only by individual genes. Accordingly, as argued here, those genes with the grandest legacy—and hence rampant within us—are of two types: “legacy-drive” genes delude us into thinking that the legacy can be individually and personally ours; and “leisure-drive” genes distract us from the agonizing truth that it can never be. The most rudimental delusion of legacy is the perception of offspring as vehicles for memetic legacy—the transmission of resident memes from one’s mind to the minds and behaviors of offspring—thus also ensuring genetic legacy: the transmission of resident genes, including importantly, genes inherited from ancestors that influence both legacy and leisure drives. Today, legacy- and leisure-drive genes reveal their phenotypes across a wide range of human affairs, and together with the phenotypes of survival- and sex-drive genes, they provide a foundation for a novel view of the Darwinian roots of cultural evolution. (shrink)

Conditional excluded middle (CEM) is the following principe of counterfactual logic: either, if it were the case that φ, it would be the case that ψ, or, if it were the case that φ, it would be the case that not-ψ. I will first show that CEM entails the identity of indiscernibles, the falsity of physicalism, and the failure of the modal to supervene on the categorical and of the vague to supervene on the precise. I will then argue that (...) we should accept these startling conclusions, since CEM is valid. (shrink)

On the traditional relationalist conception of singular thought, a thought has singular content when it is based on an ‘information relation’ to its object. Recent work rejects relationalism and suggests singular thoughts are distinguished from descriptive thoughts by their inferential role: only thoughts with singular content can be employed in ‘direct’ inferences, or inferences that ‘trade on identity’. Firstly this view is insufficiently clear, because it conflates two distinct ideas—one about a kind of inference, the other a kind of process (...) that grounds inferences—under the title, ‘trading on identity’. Secondly, this leaves us without a notion that can be used as an alternative to relationalism about singular thought. The first notion is no more applicable to singular than to descriptive thought. The second may help us better understand singular thought, but does so, not by replacing the view that singular thoughts are information-based, but by helping us understand the nature of information-based thought. (shrink)

This paper investigates a generalization of Boolean algebras which I call agglomerative algebras. It also outlines two conceptions of propositions according to which they form an agglomerative algebra but not a Boolean algebra with respect to conjunction and negation.

A thesis I call the name-based singular thought thesis is part of orthodoxy in contemporary philosophy of mind and language: it holds that taking part in communication involving a proper name puts one in a position to entertain singular thoughts about the name’s referent. I argue, first, that proponents of the NBT thesis have failed to explain the phenomenon of name-based singular thoughts, leaving it mysterious how name-use enables singular thoughts. Second, by outlining the reasoning that makes the NBT thesis (...) seem compelling and showing how it can be resisted, I argue that giving up the NBT thesis is not a cost, but rather a benefit. I do this by providing an expanded conception of understanding for communication involving names, which sheds light on the nature of communication involving names and the structure of name-using practices. (shrink)

Creationism is the conjunction of the following theses: (i) fictional individuals (e.g. Sherlock Holmes) actually exist; (ii) fictional names (e.g., 'Holmes') are at least sometimes genuinely referential; (iii) fictional individuals are the creations of the authors who first wrote (or spoke, etc.) about them. CA Creationism is the conjunction of (i) - (iii) and the following thesis: (iv) fictional individuals are contingently existing abstracta; they are non-concrete artifacts of our world and various other possible worlds. TakashiYagisawa has recently provided a (...) number of arguments designed to show that Creationism is unjustified. I here critically examine three of his challenges to CA Creationism. I argue that each fails to undermine this version of Creationism. (shrink)

Certain realists about properties and relations identify them with universals. Furthermore, some hold that for a wide range of meaningful predicates, the semantic contribution to the propositions expressed by the sentences in which those predicates figure is the universal expressed by the predicate. I here address ontological issues raised by predicates first introduced to us via works of fiction and whether the universal realist should accept that any such predicates express universals. After assessing arguments by Braun, D. and Sawyer, S. (...) for fictional universal anti-realism, I propose a novel, Kripke-inspired argument for the same conclusion. I ultimately defend the claim that while this argument presents the strongest case for fictional universal anti-realism, it is nonetheless unsound. I conclude that nothing stands in the way of accepting that some fictional predicates express fictional universals. (shrink)

As a retired professor, I join in the growing concerns among educators, and others, about plagiarism, especially now that AI tools like ChatGPT are so readily available. However, I feel more caution is needed, regarding temptations to rely on supposed automatic detection tools, like Turnitin, to solve the problems. Students can be unfairly accused if such tools are used unreflectingly. The Toronto Star's online version of this published Op Ed is available at the link shown below. The version attached here (...) is a pre-print, which also includes annotations for my references, which are not displayed in the published version. (shrink)

The current study is a pilot trial to examine the effects of a nonelective, classroom-based, teacher-implemented, mindfulness meditation intervention on standard clinical measures of mental health and affect in middle school children. A total of 101 healthy sixth-grade students (55 boys, 46 girls) were randomized to either an Asian history course with daily mindfulness meditation practice (intervention group) or an African history course with a matched experiential activity (active control group). Self-reported measures included the Youth Self Report (YSR), a modified (...) Spielberger State-Trait Anxiety Inventory, and the Cognitive and Affective Mindfulness Measure –Revised. Both groups decreased significantly on clinical syndrome subscales and affect but did not differ in the extent of their improvements. Meditators were significantly less likely to develop suicidal ideation or thoughts of self-harm than controls. These results suggest that mindfulness training may yield both unique and non-specific benefits that are shared by other novel activities. (shrink)

Much attention has been given to the question of ontic vagueness, and the issues usually center around whether certain paradigmatically concrete entities – cats, clouds, mountains, etc. – are vague in the sense of having indeterminate spatial boundaries. In this paper, however, I wish to focus on a way in which some abstracta seem to be locationally vague. To begin, I will briefly cover some territory already covered regarding certain types of “traditional” abstracta and the ways they are currently alleged (...) to be vague. I then wish to discuss two types of “nontraditional” abstracta and the sense in which I think some of these objects are locationally vague. I will next reexamine some of the traditional abstracta and discuss whether any of these objects are locationally vague in the novel way suggested for the nontraditional sorts. I’ll finish by discussing objections, and conclude with some remarks about characterizing the abstract/concrete distinction. (shrink)

In recent years, academics and educators have begun to use software mapping tools for a number of education-related purposes. Typically, the tools are used to help impart critical and analytical skills to students, to enable students to see relationships between concepts, and also as a method of assessment. The common feature of all these tools is the use of diagrammatic relationships of various kinds in preference to written or verbal descriptions. Pictures and structured diagrams are thought to be more comprehensible (...) than just words, and a clearer way to illustrate understanding of complex topics. Variants of these tools are available under different names: “concept mapping”, “mind mapping” and “argument mapping”. Sometimes these terms are used synonymously. However, as this paper will demonstrate, there are clear differences in each of these mapping tools. This paper offers an outline of the various types of tool available and their advantages and disadvantages. It argues that the choice of mapping tool largely depends on the purpose or aim for which the tool is used and that the tools may well be converging to offer educators as yet unrealised and potentially complementary functions. (shrink)

In terms of validity in Kripke frames, a modal formula expresses a universal monadic second-order condition. Those modal formulae which are equivalent to first-order conditions are called elementary. Modal formulae which have a certain persistence property which implies their validity in all canonical frames of modal logics axiomatized with them, and therefore their completeness, are called canonical. This is a survey of a recent and ongoing study of the class of elementary and canonical modal formulae. We summarize main ideas and (...) results, and outline further research perspectives. (shrink)

Th ere is much controversy surrounding the nature of the relation between fictional individuals and possible individuals. Some have argued that no fictional individual is a possible individual; others have argued that (some) fictional individuals just are (merely) possible individuals. In this paper, I off er further grounds for believing the theory of fictional individuals defended by Amie Thomasson,viz., Artifactualism, by arguing that her view best allows one to make sense of this puzzling relation. More specifically, when we realize that (...) the view allows for an identification of merely possible individuals with fictional individuals, we seethat the utility, and hence the level of credence lent to Artifactualism, is increased. After arguing for this thesis, I respond to three of the most pressing worries. (shrink)

In a series of recent publications, orofacial researchers have debated the question of how ‘bruxism’ should be defined for the purposes of accurate diagnosis and reliable clinical research. Following the principles of realism-based ontology, we performed an analysis of the arguments involved. This revealed that the disagreements rested primarily on inconsistent use of terms, so that issues of ontology were thus obfuscated by shortfalls in terminology. In this paper, we demonstrate how bruxism terminology can be improved by paying attention to (...) the relationships between (1) particulars and types, and (2) continuants and occurrents. (shrink)

Nudging works through dispositions to decide with specific heuristics, and has three component parts. A nudge is a feature of an environment that enables such a disposition; a person is nudged when such a disposition is triggered; and a person performs a nudged action when such a disposition manifests in action. This analysis clarifies an autonomy-based worry about nudging as used in public policy or for private profit: that a person’s ability to reason well is undermined when she is nudged. (...) Reasoning well is a component of self-guidance, which is an aspect of autonomy and so something there is reason to promote, preserve, or respect. However, a person can reason well when she is nudged: Many of these heuristics are good rules to reason with, and she can be flexible with respect to them when she takes there to be a better way to reason. Along the way, this paper uncovers several design specifications for responsible nudging, and discusses open empirical questions. However, nudging’s being compatible with reasoning well crystallizes a distinct worry about manipulation: that nudge designers can rely on nudged people guiding themselves toward the designers’ own ends. Manipulation of this sort exploits one aspect of autonomy (namely, self-guidance) to undermine autonomy in other respects. (shrink)

In the world of philosophy of science, the dominant theory of confirmation is Bayesian. In the wider philosophical world, the idea of inference to the best explanation exerts a considerable influence. Here we place the two worlds in collision, using Bayesian confirmation theory to argue that explanatoriness is evidentially irrelevant.

This is a review of Rene van Woudenberg's __The Epistemology of Reading and Interpretation__ (Cambridge: Cambridge University Press, 2022. Pp. v + 244. Price $99.99.) -/- .

This paper discusses a puzzle, the heart of which is this question: How is it that real individuals can resemble fictional individuals? It seems that any answer given by one who has taken a stand on the ontology of fictional individuals will come with significant drawbacks. An Anti-Realist will have to explain, or explain away, the apparent truth of our positive assertions of resemblance, while a Realist will have to explain how we are to understand resemblance in light of either (...) the further claim that fictional characters are not associated with properties in the same way real individuals are, or that fictional characters are nonexistent or nonactual. I here survey the different Realist and Anti-Realist strategies in hopes that reflection on (mainly the drawbacks of) each will aid those who are curious about ontologies which may include fictionalia. (shrink)

This paper updates (2017) a previously-presented* model of models, which can be used to clarify discussion and analysis in a variety of disputes and debates, since many such discussions hinge on displaying or implying models about how things are related. Knowing about models does not itself supply any new information about our world, but it might help us to recognize when and how information is being conveyed on these matters, or where possibly it is being obscured. If a claim P (...) is expressed in the context of a certain model, a disagreement about P may actually not be about whether the underlying model is accurate; it could reflect misunderstandings about the model’s assumptions or conventions. Also, in practice, constructed models are rarely fully elaborated for every detail, so misunderstandings can arise from apparent “gaps” in the model. In that case, developing and considering complementary versions of models can sometimes clarify ambiguities. Following the main analysis are several extended Case examples to illustrate the wide applicability of the models approach, for clarifying, if not necessarily “resolving”, numerous debates and issues. For example, a famous “counter example” by Nelson Goodman to a logical model proposed by Carnap is shown to be not as deal-breaking as presumed historically, if only plausible complementary models had been explored. And models sometimes presented as competing in Artificial Intelligence research— “Declarative” versus “Procedural”—can instead be viewed as good examples of “complementary” models. Also reconsidered in this light are some well-known, competing positions, by Russell, Strawson, and Kripke, in the literature regarding names, pointing, definite descriptions and “using” sentences, and so on. All these concepts are locatable within the presently proposed models analysis. Questions such as where “truth” resides (whether in sentences or in uses of sentences) are not settled in this paper; yet, practical questions about how testable claims about the world can be expressed by models are clarified. _* Original version presented at a University of Waterloo Philosophy Colloquium 1984. (shrink)

In the last two decades we have witnessed considerable efforts directed towards making electronic healthcare records comparable and interoperable through advances in record architectures and (bio)medical terminologies and coding systems. Deep semantic issues in general, and ontology in particular, have received some interest from the research communities. However, with the exception of work on so-called ‘controlled vocabularies’, ontology has thus far played little role in work on standardization. The prime focus has been rather the rapid population of terminologies at the (...) level of fine detail. In this paper, we argue that more efforts are needed on the side of both research and standardization to ensure that the coding systems used in electronic healthcare records enjoy a semantics that is coherent with the semantics of the record. We propose realist ontology as a method to bring about this coherence by means of a robust system of top-level ontological categories. (shrink)

Clade selection is unpopular with philosophers who otherwise accept multilevel selection theory. Clades cannot reproduce, and reproduction is widely thought necessary for evolution by natural selection, especially of complex adaptations. Using microbial evolutionary processes as heuristics, I argue contrariwise, that (1) clade growth (proliferation of contained species) substitutes for clade reproduction in the evolution of complex adaptation, (2) clade-level properties favoring persistence – species richness, dispersal, divergence, and possibly intraclade cooperation – are not collapsible into species-level traits, (3) such properties (...) can be maintained by selection on clades, and (4) clade selection extends the explanatory power of the theory of evolution. (shrink)

The definitions of ‘deduction’ found in virtually every introductory logic textbook would encourage us to believe that the inductive/deductive distinction is a distinction among kinds of arguments and that the extension of ‘deduction’ is a determinate class of arguments. In this paper, we argue that that this approach is mistaken. Specifically, we defend the claim that typical definitions of ‘deduction’ operative in attempts to get at the induction/deduction distinction are either too narrow or insufficiently precise. We conclude by presenting a (...) deflationary understanding of the inductive/deductive distinction; in our view, its content is nothing over and above the answers to two fundamental sorts of questions central to critical thinking. (shrink)

Influential work on proper names, most centrally associated with Kripke (1980), has had a significant influence in the literature on singular thought. The dominant position among contemporary singularists is that we can think singular thoughts about any object we can refer to by name and that, given the range of cases in which it is possible to refer using a name, name use in fact enables singular thought about a name's referent. I call this the extended name-based thought thesis (extended-NBT). (...) This chapter outlines the reasoning and presumptions of theorists who adopt extended NBT, and also outlines a set of reasons to resist it. The piece is distinctive in approaching the question of the relation between names and singular thought by focusing on the function of names and what this function entails (or doesn’t) about the kinds of thoughts (singular or descriptive) we have when we use names to communicate. In short, thinking about the function of names tells against the claim that name-use enables singular thought. (shrink)

This paper takes up the challenge which Carnap poses in his Aufbau: to make of it a basis for continued epistemological research. I try to close some gaps in Carnap’s original presentation and to make at least the first few steps of his constructional outline more accessible to the modern reader. Particularly emphasized is Carnap’s implicit recognition that, to be effective, “structural” models of epistemology (using logical symbols) must be complemented with “procedural” models (his “fictitious operations”). The paper shows how (...) a procedural model, a computer program,can “bypass” Nelson Goodman’s counter example to Carnap’s logical construction of “similarity circles”. (shrink)

DOI: 10.1080/00031305.2018.1564697 When the editors of Basic and Applied Social Psychology effectively banned the use of null hypothesis significance testing (NHST) from articles published in their journal, it set off a fire-storm of discussions both supporting the decision and defending the utility of NHST in scientific research. At the heart of NHST is the p-value which is the probability of obtaining an effect equal to or more extreme than the one observed in the sample data, given the null hypothesis and (...) other model assumptions. Although this is conceptually different from the probability of the null hypothesis being true, given the sample, p-values nonetheless can provide evidential information, toward making an inference about a parameter. Applying a 10,000-case simulation described in this article, the authors found that p-values’ inferential signals to either reject or not reject a null hypothesis about the mean (α = 0.05) were consistent for almost 70% of the cases with the parameter’s true location for the sampled-from population. Success increases if a hybrid decision criterion, minimum effect size plus p-value (MESP), is used. Here, rejecting the null also requires the difference of the observed statistic from the exact null to be meaningfully large or practically significant, in the researcher’s judgment and experience. The simulation compares performances of several methods: from p-value and/or effect size-based, to confidence-interval based, under various conditions of true location of the mean, test power, and comparative sizes of the meaningful distance and population variability. For any inference procedure that outputs a binary indicator, like flagging whether a p-value is significant, the output of one single experiment is not sufficient evidence for a definitive conclusion. Yet, if a tool like MESP generates a relatively reliable signal and is used knowledgeably as part of a research process, it can provide useful information. (shrink)

The Torah lays out a rich idea of God’s governance in the Scroll of Esther: Circumstance lays the warp, but human choices weave the woof of destiny. God remains unseen. Delegation of agency, including human freedom, is implicit in the act of creation: God does not clutch efficacy jealously to his breast. Biblically, God acts through nature, making the elements his servitors. Miracles do not violate God’s covenant with nature. Maimonides, following rabbinic homilies, finds them embedded in that covenant. Divine (...) agency is clearest today in evolution and its special case, the emergence of autonomy and the rise of consciousness and personhood. (shrink)